inc{-}snd($p$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$let $i$,$j$ = $p$ in $<$$i$, $j$ + 1$>$